A Logic of Blockchain Updates
نویسندگان
چکیده
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
منابع مشابه
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
While procedural languages are commonly used to program smart contracts in blockchain systems, logic-based languages may be interesting alternatives. In this paper, we inspect what are the possible legal and technical (dis)advantages of logic-based smart contracts in light of common activities featuring ordinary contracts, then we provide insights on how to use such logic-based smart contracts ...
متن کاملThe Challenges and Trends of Deploying Blockchain in the Real World for the Users’ Need
Blockchain technology is a decentralized and open database maintained by a peer-to-peer network, offering a “trustless trust” for untrusted parties. Despite the fact that some researchers consider blockchain as a bubble, blockchain technology has the genuine potential to solve problems across industries. In this article, we provide an overview of the development that Blockchain technology has h...
متن کاملContemporary art, capitalization and the blockchain: On the autonomy and automation of art’s value
This article addresses contemporary art as a means to investigate how, and to what extent, financial logic impacts upon the socio-cultural sphere. Its contribution is twofold: on the one hand, the article shows that contemporary art’s valuation practices increasingly reflect the logic of capitalization; on the other hand, it assesses the emancipatory potential of blockchain technology for the c...
متن کاملOptimized Execution of Business Processes on Blockchain
Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Speci cally, a process model comprising tasks performed by multiple parties can be coordinated via smart contracts operating on the blockchain. The consensus mechanism governing the blockchain thereby guarantees that the process model is followed by ...
متن کاملLinear Types Can Change the Blockchain
We present an interpretation of classical linear logic in terms of operations on the blockchain. Anyone who understands the current economic, sociological , and technological situation is likely to be very excited by what the blockchain technology promises. Anyone who has actually had to work with the blockchain in real situations with mission-critical exchanges on the line is very likely to be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2018